Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
441	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican an Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2013-06-12 10:51:30 Applied mathematics Computer science Model checking Formal verification Finite-state machine Deterministic finite automaton Automated planning and scheduling Uppaal Model Checker Clock Models of computation Automata theory Theoretical computer science
442	PDF Document Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:14 Computer science Computability theory Models of computation Alan Turing Universal Turing machine Computability Post correspondence problem Algorithm Counter machine Theory of computation Theoretical computer science Turing machine
443	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-01-29 18:33:38 Computer architecture Electronics Models of computation Inter-process communication Virtual synchrony NOP Algorithm Finite-state machine Consensus Fault-tolerant computer systems Computing Digital electronics
444	au Aarhus University ANNUAL REPORT 2008 Add to Reading List Source URL: madalgo.au.dk Language: English - Date: 2014-01-20 05:49:11 Analysis of algorithms Algorithms Cache Models of computation Cache-oblivious algorithm Streaming algorithm Parallel computing Sorting algorithm Shortest path problem Theoretical computer science Mathematics Applied mathematics
445	au AARHUS UNIVERSITY ANNUAL REPORT 2010 Add to Reading List Source URL: madalgo.au.dk Language: English - Date: 2014-01-20 05:49:03 Cache Analysis of algorithms Models of computation Algorithms Cache-oblivious algorithm Cache algorithms Aarhus University Medical algorithm Cluster analysis Applied mathematics Mathematics Theoretical computer science
446	Madalgo graa (2) [Konverteret] Add to Reading List Source URL: madalgo.au.dk Language: English - Date: 2014-09-18 04:52:45 Applied mathematics Algorithms Cache Models of computation Mathematical logic Cache-oblivious algorithm Randomized algorithm Medical algorithm Sorting algorithm Analysis of algorithms Theoretical computer science Mathematics
447	Transport Research Arena 2014, Paris Analysis of the design, operation and maintenance options to provide a fault tolerant railway system Claudia Fecarotti, John Andrews, Rasa Remenyte-Prescott Nottingham Transportatio Add to Reading List Source URL: tra2014.traconference.eu Language: English* - Date: 2015-01-12 11:08:27 Concurrency Diagrams Petri net Design Systems science Token Reliability engineering Simulation Axle counter Science Models of computation Railway signalling
448	au Aarhus University ANNUAL REPORT 2009 Add to Reading List Source URL: madalgo.au.dk Language: English - Date: 2014-01-20 05:49:01 Mathematics Cache Models of computation Cache-oblivious algorithm Algorithms Computational complexity theory Asymptotically optimal algorithm Parallel computing Database Theoretical computer science Applied mathematics Analysis of algorithms
449	Annotating large lattices with the exact word error Rogier C. van Dalen, Mark J. F. Gales Department of Engineering, University of Cambridge, United Kingdom , Abstract Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2015-04-17 05:58:29 Formal methods Computer science Finite state transducer Finite-state machine Semiring Büchi automaton Automata theory Models of computation Theoretical computer science
450	au AARHUS UNIVERSITY ANNUAL REPORT 2011 Add to Reading List Source URL: madalgo.au.dk Language: English - Date: 2014-01-20 05:49:05 Mathematics Algorithms Models of computation Mathematical logic Medical algorithm Aarhus University Time complexity Cache-oblivious algorithm Bioinformatics Applied mathematics Theoretical computer science Analysis of algorithms

UPDATE